1. Discrete mathematics
پدیدآورنده : Gallier, Jean H., Jean Gallier
موضوع : ، Mathematics,، Computer vision,، Number theory,، Engineering design
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
2. Geometric methods and applications
پدیدآورنده: Jean H. Gallier
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع: Gemetry
رده :
QA
,
445
,.
G345
3. Geometric methods and applications : for computer science and engineering
پدیدآورنده: Gallier, Jean H.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: Textbooks ، Geometry
رده :
QA
445
.
G345
2011
4. Logic for computer science
پدیدآورنده: / Jean H. Gallier
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Automatic theorem proving,Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
G35
1986
5. Logic for computer science:foundations of automatic theorem
پدیدآورنده: GALLIER,JEAN H
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: AUTOMATIC THEOREM PROVING , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
76
.
9
.
A96
G35
6. Logic for computer science : foundations of automatic theorem proving
پدیدآورنده: Gallier, Jean H.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Automatic theorem proving,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
G35
